Inżynieria Promptów Zapewniająca Bezpieczeństwo Typów: Ulepszanie Interakcji z AI poprzez Implementację Typów | MLOG | MLOG